Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
نویسندگان
چکیده
منابع مشابه
Connecting dynamic epistemic and temporal epistemic logics
We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. In particular, given an epistemic state (pointed Kripke model with equivalence relations) and a formula in a dynamic epistemic logic (a logic describing the consequences of epistemic actions), we construct an interpreted syste...
متن کاملDynamic Epistemic Logics
Dynamic epistemic logic, broadly conceived, is the study of rational social interaction in context, the study, that is, of how agents update their knowledge and change their beliefs on the basis of pieces of information they exchange in various ways. The information that gets exchanged can be about what is the case in the world, about what changes in the world, and about what agents know or bel...
متن کاملModel checking Dynamic Epistemic Spatial Logics ∗
We propose a new class of logics for specifying and model-checking properties of distributed systems Dynamic Epistemic Spatial Logics. They have been designed as extensions of Hennessy-Milner logic with spatial operators (inspired by Cardelli-Caires spatial logic) and epistemic operators (inspired by dynamic-epistemic logics). Our logics focus on observers, agents placed in different locations ...
متن کاملSemantics for Dynamic Syntactic Epistemic Logics
Traditional epistemic logic assumes that agents’ knowledge is closed under logical consequence. Many attempts to solve this logical omniscience problem weaken the closure condition by assuming that agents are ignorant of certain logical rules. Duc (1997) avoids the apparent paradox of nonomniscience and non-ignorance by introducing propositions on the form “φ is true after some train of thought...
متن کاملTerminating Tableaux for Dynamic Epistemic Logics
Throughout the last decade, there has been an increased interest in various forms of dynamic epistemic logics to model the flow of information and the effect this flow has on knowledge in multi-agent systems. This enterprise, however, has mostly been applicationally and semantically driven. This results in a limited amount of proof theory for dynamic epistemic logics. In this paper, we try to c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Non-Classical Logics
سال: 2017
ISSN: 1166-3081,1958-5780
DOI: 10.1080/11663081.2017.1416036